function limpiar_codigo(){
	$("id_codigo").clear();
}

/* Modificar el envio del punto y coma por que no llega bien al otro lado*/
function llamar_compilador(){
	qs = Form.serialize('fproblema');
	new Ajax.Request("compile/", {
		method: 'post',
		asynchronous: true,
		postBody: qs,
		onSuccess: mostrar_salida,
		onFailure: mostrar_salida,
	});
}

function ejecutar_solucion(){
	codigo_fuente = $F("id_entrada");
	new Ajax.Request("ejecutar/", {
		method: 'post',
		asynchronous: true,
		postBody: 'entrada='+codigo_fuente,
		onSuccess: mostrar_salida,
		onFailure: mostrar_salida,
	});
}

function mostrar_salida(respuesta){
	salida = $("id_salida");
	salida.value = respuesta.responseText;
}
